Building a Rules Engine from First Principles
towardsdatascience.comยท1d
๐Ÿ”—Combinatory Logic
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgยท22hยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Flag this post
A Short Introduction to Categorical Logic
youtube.comยท1d
๐Ÿ”€Category Theory
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.orgยท16h
๐Ÿ’ปProgramming languages
Flag this post
Nonmonotonic Logic
cambridge.orgยท4dยท
Discuss: Hacker News
๐Ÿ“Linear Logic
Flag this post
Friday 21 November - 11am
informatics.ed.ac.ukยท1d
๐Ÿ’ปProgramming languages
Flag this post
Stochastic computing
scottlocklin.wordpress.comยท3h
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.comยท2hยท
Discuss: Hacker News
๐Ÿ”จCompilers
Flag this post
Quantum computers reveal that the wave function is a real thing
newscientist.comยท3h
โš›๏ธQuantum Tape
Flag this post
Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
dev.toยท1dยท
Discuss: DEV
๐Ÿ—บ๏ธCompetency Maps
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท20h
๐Ÿ”“Decompilation
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท16h
๐ŸงฎAlgebraic Archives
Flag this post
Remember Your First Time (in Philosophy)?
cacm.acm.orgยท3d
๐ŸงฎTheoretical Computer Science
Flag this post
AI and the Power of Nonuniform Circuits
blog.computationalcomplexity.orgยท2dยท
๐ŸŽž๏ธTape Combinatorics
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.comยท18hยท
๐Ÿฆ€Rust Macros
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.comยท15hยท
Discuss: Hacker News
๐ŸงฎKolmogorov Complexity
Flag this post
Horn Clauses
youtube.comยท3h
๐Ÿ‘‘Isabelle/HOL
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.comยท5hยท
๐Ÿ”’Type Safety
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.comยท2hยท
Discuss: Hacker News
๐Ÿง Lisp Dialects
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.comยท2h
๐ŸงชProperty-Based Testing
Flag this post